منابع مشابه
Des Propagateurs Indépendants Des Solveurs *
Cet article présente une extension des indexicals pour décrire des propagateurs de contraintes globales. Ce nouveau langage produit par compilation des propagateurs pour différents solveurs et est indépendant d’un solveur particulier. De plus, nous montrons que cette description de haut niveau aide à prouver certaines propriétés telles que correction et monotonie. Des résultats expérimentaux mo...
متن کاملMorphologie et disposition des stigmates respiratoires chez les larves hexapodes des ixodidae
متن کامل
Algèbre des processus pour l'analyse des performances des noeuds actifs
RÉSUMÉ. Nous étudions l’impact de l’introduction de la gestion active dans un réseau sur les paquets traditionnels traversant les nœuds actifs le constituant. Dans le cadre de l’infrastructure ARFANet, deux configurations de l’architecture d’un nœud actif sont considérées. Dans chaque cas, nous comparons les performances du nœud actif à celles d’un nœud traditionnel en utilisant le formalisme d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zeitschrift f�r Analytische Chemie
سال: 1869
ISSN: 1618-2642,1618-2650
DOI: 10.1007/bf01462488